Communicating sequential processes - PDFSEARCH.IO - Document Search Engine

Communicating sequential processes
Results: 71

#	Item
61	PDF Document Add to Reading List Source URL: www.wotug.org Language: English - Date: 2002-05-16 08:39:13 Procedural programming languages Occam Transputer Communicating sequential processes Assignment Go Inmos David May Fortran Computing Software engineering Computer programming
62	PDF Document Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2004-01-13 10:32:24 Formal methods Process calculus Denotational semantics Algebra of Communicating Processes Communicating sequential processes Algebraic structure Universal algebra Construction and Analysis of Distributed Processes Calculus of communicating systems Process calculi Theoretical computer science Mathematics
63	doi:[removed]j.entcs[removed] Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2007-09-04 04:02:48 Jan Bergstra Process calculus Algebra of Communicating Processes Abstract algebra Computer science Communicating sequential processes Algebraic logic Axiom Algebra Process calculi Computing Software
64	PDF Document Add to Reading List Source URL: www.usingcsp.com Language: English - Date: 2004-06-21 06:17:39 Concurrency Software engineering Actor model Communicating sequential processes Thread Algorithm Parallel computing Communications protocol Mathematics Computing Concurrent computing Process calculi
65	PDF Document Add to Reading List Source URL: www.bcs.org Language: English - Date: 2011-01-10 14:17:10 Applied mathematics Logic in computer science Formal verification BCS-FACS Model checking Communicating sequential processes Formal specification Abstraction Steve Reeves Formal methods Theoretical computer science Computing
66	PDF Document Add to Reading List Source URL: web.comlab.ox.ac.uk Language: English Process calculi Logic in computer science Concurrent computing Programming language semantics Communicating sequential processes Models of computation Denotational semantics Divergence Model checking Theoretical computer science Computing Computer science
67	PDF Document Add to Reading List Source URL: www.ferg.org Language: English - Date: 2007-09-05 20:56:49 Process Computer programming Operations research Planning Scheduling Communicating sequential processes Elevator Process state Actor model Computing Concurrent computing Concurrency
68	PDF Document Add to Reading List Source URL: espace.library.uq.edu.au Language: English Communicating sequential processes Enterprise modelling Behavior Trees Actor model Model checking Process calculus Concurrent computing Process calculi Computing
69	PDF Document Add to Reading List Source URL: www.teigfam.net Language: English - Date: 2006-06-20 10:02:26 Process calculi Synchronization Communicating sequential processes Occam Message queue Process calculus Specification and Description Language Asynchronous I/O Promela Computing Concurrent computing Inter-process communication
70	PDF Document Add to Reading List Source URL: users.comlab.ox.ac.uk Language: English Software engineering JCSP ALGOL 68 Communicating sequential processes Computing Concurrent computing Computer programming